//#define MCSSTA

#define EXTRACTION

//#define REDUCTION

//#define COSTRD //further reduction by marking ciritical v

//#define INTEGRATION

#include <time.h>
#include <iostream>
#include <vector>
#include <assert.h>
#include <stdio.h>
#include <string.h>
#include <algorithm>
#include <random>
#include <queue>
#include <set>
#include <fstream>

#define MCNUM 1 //Monte Carlo times

#define CLOCK 13.5 //clock

#define ISCAS89

#define VARNUM 8    //variation source number + mean
#define DELAYNUM 5  //max delays for single gate per MC

using namespace std;


